discrete math mod proof